projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a176c4c) | patch
Patch refreshed.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Sun, 23 Jul 2017 23:01:40 +0000 (01:01 +0200)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Sun, 23 Jul 2017 23:01:40 +0000 (01:01 +0200)
commit67b2d30d0b9fa65af30a30afc36ed4247eb57f07
tree208b9e4018357be02fde6eb3152c19ed69a82d9btree | snapshot
parenta176c4cdf8d33a26ded994591e16f38c63dfcea4commit | diff
Patch refreshed.
debian/patches/02-rtmidi-pkgconfig.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.